I'm interested in finding some hardware requirements for SpiceDB, hopefully in relation to scale in RPS. Is there anything like that published?