[roflyear]

Yes, they are pretty big. Just the pump alone is larger than the pump + motor for a vibe pump, and the motors for rotary pumps are like 4-5x the size of the pump. So you're really approaching 10x the size, it's kinda wild.