Device size should be known if we know the model (except for colo). If we start allowing unknown models this may get complicated.