Spend the $4 on PBlaster. WD-40 is a poor lubricant and not very good at loosening stuck bolts and nuts. PBlaster works much better, and you'll be glad you have it whenever you need it next. It's available wherever car parts are sold.
Congrats on the new alternator. Where'd you get it? eBay?
Yup I go the alternator on ebay for 122 incl. shipping. Its a brand new one (looks exactly like the OEM, made in taiwan thought), just got it yesterday.
It even had a computerized test print out... showing graphs performance curves etc.
Will give more feedback on that ebay store after I install