[raymo]

Thanks for the replies esteemed members; my daughter has a pair too,
from memory I think they are 40mm, and indeed not inexpensive. I am
waiting to see if any member knows of a half decent IS binocular for under
say a $1000.
raymo