I'll recommend that ASRock board to him. I also saw a Gigabyte Z97X board I really like for like $25-30 more. As for SSD performance, I'm very not worried about it. ANY SSD is much faster than ANY HDD. I doubt he'd ever notice a difference between the two, I know I wouldn't.
He does plan on overclocking, but he's not 100% convinced or 100% sure how often he'll run an OC. I expect him to run a decent 24/7 OC....maybe 4GHz if the DC chips OC well.