$2500 each would seem to be too much, even for the port work. I'm guess that's a set. Call and ask.