Thanks guys!
I talked with the owner of a local tree service yesterday evening and was able to get it for $950 per tree and an additional $125 to grind down the stumps. These are much smaller trees than those pines.
We didn’t get into the pruning yet but I like asking for that on a crew for a day basis. That would really keep it simple between me and this guy long term.