$5k sounds way too high.

Mine were $2.3k several years ago at an certified ARB installer.

Toy Man