joyGP is entware's buy and download game service. Seems nice for me, even though a box is nice, this should be quicker and cheaper than the mail/tax way.
(read on http://www.gp32news.com/ )
Pinball Dreams is only £5.15 or so which is a bargin. I'm not sure if I should wait and get a SMC+Box with it when/if Craig starts to sell it.... hmmmmmmm.