Where Did Happy Go?

For a couple of days our little algae eater fish, Happy, has been missing. We have been watching for him in the tank but can never find him. He does like to go under the rocks and hide but we normally can get a glimpse of him twice a day. So, we have been worried about him and Michael was kind enough to clean the fish tank out so that we could find him (and it needed it too). Once we got it all cleaned he was not in it. I'm not kidding we went through all of the rocks and the filter and then we checked around the outside of the tank area. He is totally gone! I don't know where he could have disappeared too but it sure was strange. We are really sad that he is gone because he was such a good little fish but hopefully he is much happier too.