I would just add to what you have (i.e. option 2). i just added some rolls of r30 to my attic. decided on rolls, because generally it was less messy (i have to access my attic via my infant dtr's room), and i could DIY and not have to have friends come help me with the pump rental etc. the rolls of unfaced r 30 were relatively inexpensive (like $12) too. while up there, i also replaced most if not all of those vent things(the styrofoam pices that allow for air circulation). it is a good investment that i felt an immediate difference in how warm my dtr's room is).