Haha, yeah I understand the absurdity of it, 9 amps in one 14x14x9.5 room. But the walls are stucco and plaster and we've treated the room such that the neighbor's 1 year old twins haven't gone Chucky on them or us yet, so I think we're getting away with it. I think it's quieter than a drummer actually (Boss, the drum machine, doesn't overpower anything). And it sounds good.
And we've been doing this for four years now but are just now thinking about room mics.
I was thinking of a pair of fatheads. 3 guitar amps, one drum machine amp, one(plus one on the other side) bass amp pointed at each fathead 5' away.
Any other ideas?