$ 0 0 has anyone been able to find old patents for theater lighting instruments from the US Patent Office?