We have utilized "overhead" type door for many years. They work as "normal" garage doors.

The brand names such as
http://artisandoorworks.com/,
http://www.designerdoors.com/

and if you looking for a variety in style at a reasonable budget the "artisan series" from
http://artisandoorworks.com/ overhead garage doors is worth your review.

I do not have the specific information on file for this 2007 project.
I would suggest you visit the listed web sites, then contact your builder or local garage door subcontractor who will be able to review the anticipated size, the motor and tracking system for the garage door manufacture and style you select. Providing them type of door is just part of the cost.

The true cost will be able to be determined, based on the scope of work, and the available products in you area. Both the door cost with the track and motor, along with the labor cost will give you the total cost of the door.

Beautiful home, I noticed the gutters are full of leaves. I had a similar issue until I got Gutter Helmet installed on my MD home that has a similar cedar shake roof like this one.