Tips from Asia and Wojtek for HOL-MEK, COS-GRE.