Hi again folks. Update on the 9850 Vcore issue - it's fixed by clearing CMOS, going into BIOS and selecting "Load Optimized Defaults"! The user hadn't done that previously and tech support suggested that. So, to summarize, BIOS v.13 is good for 9850BE's as well.