Thanks for the info. Printing to pdf isn't the end of the world as long as we know somewhere down the road it will get fixed.
