hola hermano bakuno no ps en realidad yo le cobraria unos 20 dolares ya que cuando me formatearon mi lap me cobraron 20 con windows 7 igual depende tu tiempo... bueno espero te haya servido mi comentario...