First of all thanks for making the device available to the community!

There are many more community-member out there who do much bigger things than I do, but if nobody else pop-ups for your device, I will, for sure

About the battery: if it can't be shipped, no problem I have a dead ~1 year old 5800 + battery lying somewhere around in my room

edit: Just checked shipping to the Netherlands, Cheapest parcel is about $40