Saying taxpayers have a right to know how much Pitbull has been paid to promote Florida tourism with the help of his song “Sexy Beaches,” a top state lawmaker filed a lawsuit Tuesday against the famed rapper’s production company.

Pitbull, whose real name is Armando Christian Perez, signed a contract last year with Florida’s tourism marketing arm to promote the Sunshine State, splashing it up with a new video for his 2014 song. Attorneys for his production company have insisted that most details of the contract — including its worth and what he was required to do under it— are trade secrets exempted from Florida’s public records law.