yes, a thank-you print is completely appropriate, thanks!