I'd test your water to know what pH you're actually dealing with at your house. Water in your aquifer is one thing, water from your specific local water plant could be lower. If water from the tap in your area/neighborhood is actually over 9, I'd have to think a lot of homes have water softener units.
I bred and raised red head geos, they're comfortable with moderate hardness and pH up to 8 with no health issues-- even a bit higher, though they may not live as long. I wouldn't do them at 9, not unless I wanted to adjust it lower-- which I've done in the past, doing black water discus tanks in New England. Brasiliensis would make it a one geo tank (as adults) imo, or a compatible pair, and change or limit your choice of tankmates. All of which is fine if that's what you want.
Most goes are a good fit with severums, Brasiliensis less so, depending on tank size and individual fish. Depending on type of severum, you could potentially do more than one. 5' long tank, right?
Red head Tapajos geos generally get 6.5-7 inches (males) ime, now and then a little bigger. Females smaller.