There is a Lisa mouse for sale on Ebay (171983561235) currently going for $8995. I did not get any replies to my original post about it, so I thought I'd try again....
I checked sold listings for Lisa, some have the flat button Lisa mouse, some do not. Exactly how rare is the original mouse? No way it's worth $9000 IMHO