The other option is to use a mobile HD bay system. Just have two cradles for your different hds. Power down (unless it's hot swapping), slide the AROS hd out, slide in your other OS HD into the box and power up. Nice thing is, for relatively little money, most mobile HD bays have additional fans blowing on the drives so they stay cool all the time.
Dammy