Juan Santamaria Intl, and

San Jose Tobias Bolanos Intl are the two airports listed for San Jose. Which one does Spirit use?

Thanks in advance.