So where can someone in the US get a Raspberry Pi without paying exorbitant international shipping fees?