Puchol, Sebastian, active 1742-1794, Inspector General of duties at Gibraltar