A classical fact about mapping class groups of compact surfaces is that they are of type \(F_\infty \) . Indeed, work of Harvey [1]} implies this for closed surfaces; when the boundary is non-empty, one may combine the capping homomorphism [2]} with part (i) of Proposition REF  to deduce the following well-known fact:
