I think you wait for some time. Raspberry Pi are started shipping. XBMC is getting ported to raspberry pi and it will cost you only 2-3k