Nice find Marcel, just noticed you got your conversion from euro's to dollars mixed up, you pay more in dollars for the 11,50 saw it would be close on 15 dollars. Just thought it would be handy for our US friends to know, don't hope you mind me butting in on your post.
David