Data point: base model Mac mini is 719€ in Spain, 599€ with the educational discount.