Pretty reasonable way to solve this problem really. Are they really going to bring the hammer down on a hobbyist?
Flip side of the argument: "Someone wrote a GPL library I want to use but I don't want to release my source. Is anyone really going to notice, care, or bother to bring the hammer down on my company?"