$1800?
You know what the pest control guy does for mice? He puts out bait blocks.
For about $12, you can out out the blocks yourself and save a couple of pennies.
Go on-line, open Jeffers livestock catalog, and order bait blocks by the bucket. I like the Tomcat brand, and so do the mice, yum-yum..
Put them underneath the foundations, behind the fridge, underneath the kitchen sink cabinet (you can probably slip them down where the drain goes through the base of the cabinet), behind the stove, and in the attic.
Pets, unfortunately, also think they are yum-yum, so if there are pets in the house, go down to the dime store and buy plastic storage boxes about the size of a shoe box. Cut a small round mouse size hole in one end. Now fasten the bait blocks at the other end by running a wire through them and through the walls of the box. Fasten the lid on with a couple of wraps of duct tape.
You now have a mouse feeder that no one can get into except the mice, and they can't pull the bait block out and leave it in the middle of the kitchen floor.
About a week after you put out the poisin, hire someone else, not the pest guys, to come and seal up those gaps in the wall. That's the sort of job I have my roofer do for me. (give the mice a week to eat and crawl outside to die before you seal up their escape.)
$1800. I don't think so.