Da wäre ich mir in dem Falle nicht so sicher. Denn zum einen ist das Tiger-Update ja an bestimmte Rechner gebunden (nämlich welche, die nach dem 12.April gekauft wurden und auf denen noch Panther installiert war). Zum zweiten ist das Tiger-Update in dem Sinne nicht gekauft worden, die 18€ sind Handling-Gebühr, die Software selber ist kostenlos.
IMHO gehört das Update eigentlich dem Käufer des mini.