OS needs less than 100GB, though, so mixed drives seems more cost effective.