Fairly appropriate.

If you look to have a perimeter drain put in, I have used the companies below previously and you can take my comments however you want. Always talk to at least 3 companies around here, 5 is better. I have fixed water issues from things as simple as running all downspouts to the low-grade end of the house to $20k repairs. You would be amazed at the # of options you can get.

>Bakers: Good work, not horrible pricing
>Keystone: The most expensive you will find
>Basement Guys: Decent price, decent work
>Advanced: Decent price, decent work
>Premiere: Good pricing, questionable work