I was referring to dmm's post about a seller who has them for around $535 delivered, so Happyseeds is certainly "substantially more" than that amount. Happyseeds price has gone down since I bought mine, in fact his prices appear all over the place, he has one for around $570:
formatting link
Happyseeds is the only reputable seller with good feedback from group members so far.
Dave.