Happy ending to Happy Hole Hat