No, it looks like you're right, the android is already for sale on Amazon. That is the androidPJ that you linked..the Android IS the new Showtime. Also, Amazon's $585 is above the MSRP..that's sad to see.
I'd prefer the Android version. The old Showtime had to be paired to a PC with an emitter and Nvidia graphics card to play 3D (including bluray). The new AndroidShowtime keeps all the old functionality and also supports cheaper/simpler DLP-link 3D (no emitter required for that..$12 glasses too). I'm still not sure if it can play 3D straight from a 3D bluray-player or if for some reason still needs the player to be a PC.
I'm mostly after the Bluetooth audio-out and browser/Netflix available through android.
Better brands is somewhat a trading game, but here are my feelings:
The LG's with 3D support are easy to use, have plenty of great menu options and wireless features (even without android), TV tuner, use very quiet fans, and have really nice built-in speakers, for $650 or less. They also have a simpler model that lacks the TV tuner, 3D, and possibly the wireless extras, but costs around $500..and is still as bright as any majorbrand LED PJ under $2000.
Aaxa uses louder fans and is missing LG's "dynamic contrast" feature that can help darker scenes cut through a bit of light in the room, but tend to be the least expensive major brand. They do not have any models with good 3D support however.
3M tends to price a little high and sometimes skips important features.
Elmo has a couple simpler models that are very similar to Aaxa but at a higher price with no reason/advantages to spend more..so I'd pass.
Vivitek tends toward the same simpler models (with 3D support), but also costs more and uses very poor built-in media players. HDMI support is clean, but other brands do it just as well for cheaper..I'd pass.
Optoma has some simple units that tend to be inexpensive though fans are loud as others and they don't offer any real extra features..the prices can make it worth it though if you don't need something as quiet as the older/simple LG. If the Amazon prices of the Aaxa goes down closer to their website's price, Optoma won't be cheaper anymore, but still very competitive and cheaper than most at around $450. They may be missing some simple, important features though so double-check that everything you need is there.
The Benq LED units lack some really common portability features for no good reason and are priced high. I'd pass.
The Acer units are priced fairly high, don't offer the extra brightness they claim and some units skimp on simple things. I'd pass
All the easily affordable LED projectors over 350lumens use the same light-engine, and have brightness/contrast/colors that are visually indistinguishable. All the smaller units have an inherit laptop-whine to their fans and fairly bad built-in speakers. The only things that really differ between LED models is price, software features (if you even want extras), and noise.
-If you need quiet, it's practically impossible to beat the LG's noise level.
-If you want wireless features and extras, it's hard to beat bluetooth/WiFi/Android..and Aaxa's $500 is hard to get under even for most simple PJs, let alone with extras.
-If you just want cheap/bright, I don't think anything beats the $400-450 point of the Aaxa p450/old-Showtime.