More information is also available here. It still doesn't specifically say that unprinted tickets get a 100% refund, but I will vouch for that, too (I've canceled two reservations this year several weeks after I made them and received a 100% refund).