I can't remember what model, but she is over in Germany right now and picked it up yesterday.
She ordered it through some program before she went overseas and picked it up over there then took it to where they will ship it later this month. it'll get to the US to Oklahoma near her house about a month after she gets back. It was... $35k, including shipping to the US. (If I remember correctly anyway...)