Finally, I bought my Logitech MX510 mouse. Works fine, even with Linux (no driver installation or kernel patching required at all, using the latest 2.6.8.1 kernel)! Thanks to the friendly staff at portable-shop who let me test Linux support in the shop at Jelmoli – I guess they were pretty curious to see Gentoo Linux running on a TabletPC :)