Thanks very much for the pointers! Now that we know how to get the inode from the file handle, we know how to find the file :-)
To recap - and to see if I have this straight:
the first 32bits of the file handle are the inode number, but it's other-endian, so A0D10C00 -> 0xCD1A0 -> 840096
thanks Betsy