Philips Clockradio!

Hey!
Jeg skal have købt mig en ny clockradio, og har kigget lidt på en Philips AJ3600/00C

URL:
http://www.consumer.philips.com/consumer/support/cons_product_support_detail.jsp?productId=AJ3600_00C_DK_CONSUMER&catalogID=&activeCategory=HOME_AUDIO_VIDEO_GR_DK_CONSUMER&language=da&country=DK&catalogType=CONSUMER&proxybuster=WZC2JWS3SPLBXJ0RMRESHQVHKFSEKI5P&

Jeg kan bare ikke finde en pris på den her i DK, har dog fundet den på et par engelske sites hvor den står til 1.000 pund - kan det passe, oder?
Hvis nogen kan hjælpe mig med at finde en pris på den, ville det være fedt :)

På forhånd tak!