Basement air can usually be serviced by Joe's heating and air conditioning, if that is it can be serviced at all.
HOWEVER there are two things you can do BEFORE you throw money at it.
1: CLEAN... Recently one of my rooftop units started popping it's 20 amp breaker, This is bad for a unit rated 13.5 amps.. And another RVer had the very same expierence even more recently....
Well, after a couple of tests run here inside, I went topside and checked to see if it needed cleaning.... it did.. Fixed both mine and his by simply cleaning (He cleaned his) If the concenser coils (Outside) are clogged, air can not flow properly and temps increase, so does current demand.
The second is measure (inlet and outlet temps) for the evaporator (inside) coils.. it may be that your A/C is working as designed but temps where I am are due to hit 100+ tomorrow and there is NO SHADE PERIOD save what my awning provides. SO tomorrow, I'm going to Siesta.
THEN throw money at it, if needed.
Home was where I park it. but alas the.
2005 Damon Intruder 377 Alas declared a total loss
after a semi "nicked" it. Still have the radios
Kenwood TS-2000, ICOM ID-5100, ID-51A+2, ID-880 REF030C most times