Loose ripe pu-erh vs mini tuocha: control or convenience?