@dabeaz that sounds like an awesome find!