I'm sure I can find $15 worth of HR merchandise in the gift shop. If all else fails, I'll buy $15 worth of HR pin(s) and resell them on eBay. Should be able to recoup cost, or nearly so, which makes the HR chip free after all.