Yes, and they should pay taxes whether they use it or not if they want to keep it out of the public domain.