Well $150 is pretty cheap for an 060 running OS 3.1. I don't think you're going to get any cheaper than that, given that MOS alone costs close to that amount. But the idea of an Amiga Casablanca is looking rather unlikely anyway.
Do these machines have actual Kickstart ROMs on their boards besides the DraCo custom ROM?
I'm wondering if it would be possible to swap these with proper Kickstart 3.1 chips to make "Amigafication" a bit easier?