I'm curious the last time you have been out with RR? Generally the boats are only "cattle boats" on holiday weekends or perhaps spring break. Most trips that I've run in the past several months have had 15 people. Guide ratios have been right around 4-5 divers per guide.If you are experienced divers you will likely be disappointed with Rainbow Reef. If you like cattle boats and following an inexperienced guide around, short dive times, and not lobstering then stay with RR.
If you are already booked at the Marriot and want a close shop then I would pick Horizon Divers over Rainbow Reef every time.
I recommend Conch Republic Divers just a few miles south for lobstering, experienced staff and better dive sites.
I'll agree that each shop here caters to a different niche of diver, as well as different types of diving. If OP is desiring double dips on Spiegel, then Horizon is safe bet. For variety in dive locations, Rainbow is unmatched. Conch Republic (I believe) allows for lobstering on specific trips.
@arubabob1 - Water temps this week have been 75/76 degrees. Definitely on the upswing, but still the potential to get chilly, especially if you have full days of diving.